namespace Athena
{
    partial class Preferences
    {
        /// <summary>
        /// Required designer variable.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary>
        /// Clean up any resources being used.
        /// </summary>
        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
        protected override void Dispose(bool disposing)
        {
            if (disposing && (components != null))
            {
                components.Dispose();
            }
            base.Dispose(disposing);
        }

        #region Windows Form Designer generated code

        /// <summary>
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            this.components = new System.ComponentModel.Container();
            System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(Preferences));
            this.tableLayoutPanel1 = new System.Windows.Forms.TableLayoutPanel();
            this.tabPreferences = new System.Windows.Forms.TabControl();
            this.tabGeneral = new System.Windows.Forms.TabPage();
            this.groupBox4 = new System.Windows.Forms.GroupBox();
            this.label2 = new System.Windows.Forms.Label();
            this.maxSimulationNum = new System.Windows.Forms.NumericUpDown();
            this.groupBox3 = new System.Windows.Forms.GroupBox();
            this.chkToolTips = new System.Windows.Forms.CheckBox();
            this.groupBox2 = new System.Windows.Forms.GroupBox();
            this.label1 = new System.Windows.Forms.Label();
            this.maxHistoryNum = new System.Windows.Forms.NumericUpDown();
            this.groupBox1 = new System.Windows.Forms.GroupBox();
            this.chkReactionLabels = new System.Windows.Forms.CheckBox();
            this.chkAutoGeneProduct = new System.Windows.Forms.CheckBox();
            this.chkAutoDegradation = new System.Windows.Forms.CheckBox();
            this.panel1 = new System.Windows.Forms.Panel();
            this.cmdOk = new System.Windows.Forms.Button();
            this.cmdCancel = new System.Windows.Forms.Button();
            this.toolTip1 = new System.Windows.Forms.ToolTip(this.components);
            this.tabPlugins = new System.Windows.Forms.TabPage();
            this.tabControl1 = new System.Windows.Forms.TabControl();
            this.tabPalette = new System.Windows.Forms.TabPage();
            this.tabPage2 = new System.Windows.Forms.TabPage();
            this.tabContext = new System.Windows.Forms.TabPage();
            this.tableLayoutPanel2 = new System.Windows.Forms.TableLayoutPanel();
            this.chkLstPalette = new System.Windows.Forms.CheckedListBox();
            this.panel2 = new System.Windows.Forms.Panel();
            this.cmdPaletteAll = new System.Windows.Forms.Button();
            this.cmdPaletteNone = new System.Windows.Forms.Button();
            this.tableLayoutPanel3 = new System.Windows.Forms.TableLayoutPanel();
            this.chkLstPlugins = new System.Windows.Forms.CheckedListBox();
            this.panel3 = new System.Windows.Forms.Panel();
            this.cmdPluginsNone = new System.Windows.Forms.Button();
            this.cmdPluginsAll = new System.Windows.Forms.Button();
            this.tableLayoutPanel4 = new System.Windows.Forms.TableLayoutPanel();
            this.chkLstContextMenu = new System.Windows.Forms.CheckedListBox();
            this.panel4 = new System.Windows.Forms.Panel();
            this.cmdContextNone = new System.Windows.Forms.Button();
            this.cmdContextAll = new System.Windows.Forms.Button();
            this.tableLayoutPanel1.SuspendLayout();
            this.tabPreferences.SuspendLayout();
            this.tabGeneral.SuspendLayout();
            this.groupBox4.SuspendLayout();
            ((System.ComponentModel.ISupportInitialize)(this.maxSimulationNum)).BeginInit();
            this.groupBox3.SuspendLayout();
            this.groupBox2.SuspendLayout();
            ((System.ComponentModel.ISupportInitialize)(this.maxHistoryNum)).BeginInit();
            this.groupBox1.SuspendLayout();
            this.panel1.SuspendLayout();
            this.tabPlugins.SuspendLayout();
            this.tabControl1.SuspendLayout();
            this.tabPalette.SuspendLayout();
            this.tabPage2.SuspendLayout();
            this.tabContext.SuspendLayout();
            this.tableLayoutPanel2.SuspendLayout();
            this.panel2.SuspendLayout();
            this.tableLayoutPanel3.SuspendLayout();
            this.panel3.SuspendLayout();
            this.tableLayoutPanel4.SuspendLayout();
            this.panel4.SuspendLayout();
            this.SuspendLayout();
            // 
            // tableLayoutPanel1
            // 
            this.tableLayoutPanel1.ColumnCount = 1;
            this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Percent, 100F));
            this.tableLayoutPanel1.Controls.Add(this.tabPreferences, 0, 0);
            this.tableLayoutPanel1.Controls.Add(this.panel1, 0, 1);
            this.tableLayoutPanel1.Dock = System.Windows.Forms.DockStyle.Fill;
            this.tableLayoutPanel1.Location = new System.Drawing.Point(5, 5);
            this.tableLayoutPanel1.Name = "tableLayoutPanel1";
            this.tableLayoutPanel1.RowCount = 2;
            this.tableLayoutPanel1.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Percent, 100F));
            this.tableLayoutPanel1.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Absolute, 40F));
            this.tableLayoutPanel1.Size = new System.Drawing.Size(369, 432);
            this.tableLayoutPanel1.TabIndex = 0;
            // 
            // tabPreferences
            // 
            this.tabPreferences.Controls.Add(this.tabGeneral);
            this.tabPreferences.Controls.Add(this.tabPlugins);
            this.tabPreferences.Dock = System.Windows.Forms.DockStyle.Fill;
            this.tabPreferences.Location = new System.Drawing.Point(3, 3);
            this.tabPreferences.Name = "tabPreferences";
            this.tabPreferences.SelectedIndex = 0;
            this.tabPreferences.Size = new System.Drawing.Size(363, 386);
            this.tabPreferences.TabIndex = 0;
            // 
            // tabGeneral
            // 
            this.tabGeneral.Controls.Add(this.groupBox4);
            this.tabGeneral.Controls.Add(this.groupBox3);
            this.tabGeneral.Controls.Add(this.groupBox2);
            this.tabGeneral.Controls.Add(this.groupBox1);
            this.tabGeneral.Location = new System.Drawing.Point(4, 22);
            this.tabGeneral.Name = "tabGeneral";
            this.tabGeneral.Padding = new System.Windows.Forms.Padding(5);
            this.tabGeneral.Size = new System.Drawing.Size(355, 360);
            this.tabGeneral.TabIndex = 0;
            this.tabGeneral.Text = "General Settings";
            this.tabGeneral.UseVisualStyleBackColor = true;
            // 
            // groupBox4
            // 
            this.groupBox4.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
                        | System.Windows.Forms.AnchorStyles.Right)));
            this.groupBox4.Controls.Add(this.label2);
            this.groupBox4.Controls.Add(this.maxSimulationNum);
            this.groupBox4.Location = new System.Drawing.Point(8, 285);
            this.groupBox4.Name = "groupBox4";
            this.groupBox4.Size = new System.Drawing.Size(339, 58);
            this.groupBox4.TabIndex = 3;
            this.groupBox4.TabStop = false;
            this.groupBox4.Text = "Simulation";
            // 
            // label2
            // 
            this.label2.AutoSize = true;
            this.label2.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F);
            this.label2.Location = new System.Drawing.Point(3, 21);
            this.label2.Name = "label2";
            this.label2.Size = new System.Drawing.Size(152, 26);
            this.label2.TabIndex = 6;
            this.label2.Text = "Max time allowed for simulation\r\n            (milliseconds)";
            // 
            // maxSimulationNum
            // 
            this.maxSimulationNum.Location = new System.Drawing.Point(181, 19);
            this.maxSimulationNum.Maximum = new decimal(new int[] {
            100000,
            0,
            0,
            0});
            this.maxSimulationNum.Minimum = new decimal(new int[] {
            100,
            0,
            0,
            0});
            this.maxSimulationNum.Name = "maxSimulationNum";
            this.maxSimulationNum.Size = new System.Drawing.Size(74, 20);
            this.maxSimulationNum.TabIndex = 5;
            this.maxSimulationNum.Value = new decimal(new int[] {
            1000,
            0,
            0,
            0});
            // 
            // groupBox3
            // 
            this.groupBox3.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
                        | System.Windows.Forms.AnchorStyles.Right)));
            this.groupBox3.Controls.Add(this.chkToolTips);
            this.groupBox3.Location = new System.Drawing.Point(8, 153);
            this.groupBox3.Name = "groupBox3";
            this.groupBox3.Size = new System.Drawing.Size(339, 58);
            this.groupBox3.TabIndex = 1;
            this.groupBox3.TabStop = false;
            this.groupBox3.Text = "Tool Tips";
            // 
            // chkToolTips
            // 
            this.chkToolTips.AutoSize = true;
            this.chkToolTips.Location = new System.Drawing.Point(6, 19);
            this.chkToolTips.Name = "chkToolTips";
            this.chkToolTips.Size = new System.Drawing.Size(175, 17);
            this.chkToolTips.TabIndex = 3;
            this.chkToolTips.Text = "Show Hints for Items on Screen";
            this.chkToolTips.UseVisualStyleBackColor = true;
            // 
            // groupBox2
            // 
            this.groupBox2.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
                        | System.Windows.Forms.AnchorStyles.Right)));
            this.groupBox2.Controls.Add(this.label1);
            this.groupBox2.Controls.Add(this.maxHistoryNum);
            this.groupBox2.Location = new System.Drawing.Point(8, 217);
            this.groupBox2.Name = "groupBox2";
            this.groupBox2.Size = new System.Drawing.Size(339, 62);
            this.groupBox2.TabIndex = 2;
            this.groupBox2.TabStop = false;
            this.groupBox2.Text = "Memory: ";
            // 
            // label1
            // 
            this.label1.AutoSize = true;
            this.label1.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F);
            this.label1.Location = new System.Drawing.Point(3, 26);
            this.label1.Name = "label1";
            this.label1.Size = new System.Drawing.Size(106, 13);
            this.label1.TabIndex = 4;
            this.label1.Text = "Max number of Undo";
            // 
            // maxHistoryNum
            // 
            this.maxHistoryNum.Location = new System.Drawing.Point(115, 24);
            this.maxHistoryNum.Maximum = new decimal(new int[] {
            1000,
            0,
            0,
            0});
            this.maxHistoryNum.Minimum = new decimal(new int[] {
            2,
            0,
            0,
            0});
            this.maxHistoryNum.Name = "maxHistoryNum";
            this.maxHistoryNum.Size = new System.Drawing.Size(54, 20);
            this.maxHistoryNum.TabIndex = 0;
            this.maxHistoryNum.Value = new decimal(new int[] {
            10,
            0,
            0,
            0});
            // 
            // groupBox1
            // 
            this.groupBox1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
                        | System.Windows.Forms.AnchorStyles.Right)));
            this.groupBox1.Controls.Add(this.chkReactionLabels);
            this.groupBox1.Controls.Add(this.chkAutoGeneProduct);
            this.groupBox1.Controls.Add(this.chkAutoDegradation);
            this.groupBox1.Location = new System.Drawing.Point(8, 3);
            this.groupBox1.Name = "groupBox1";
            this.groupBox1.Size = new System.Drawing.Size(339, 144);
            this.groupBox1.TabIndex = 0;
            this.groupBox1.TabStop = false;
            this.groupBox1.Text = " Drawing: ";
            // 
            // chkReactionLabels
            // 
            this.chkReactionLabels.AutoSize = true;
            this.chkReactionLabels.Location = new System.Drawing.Point(6, 103);
            this.chkReactionLabels.Name = "chkReactionLabels";
            this.chkReactionLabels.Size = new System.Drawing.Size(186, 17);
            this.chkReactionLabels.TabIndex = 2;
            this.chkReactionLabels.Text = "Show Reaction Names by Default";
            this.chkReactionLabels.UseVisualStyleBackColor = true;
            // 
            // chkAutoGeneProduct
            // 
            this.chkAutoGeneProduct.AutoSize = true;
            this.chkAutoGeneProduct.Location = new System.Drawing.Point(6, 67);
            this.chkAutoGeneProduct.Name = "chkAutoGeneProduct";
            this.chkAutoGeneProduct.Size = new System.Drawing.Size(209, 17);
            this.chkAutoGeneProduct.TabIndex = 1;
            this.chkAutoGeneProduct.Text = "Automatically Generate Gene Products";
            this.chkAutoGeneProduct.UseVisualStyleBackColor = true;
            // 
            // chkAutoDegradation
            // 
            this.chkAutoDegradation.AutoSize = true;
            this.chkAutoDegradation.Location = new System.Drawing.Point(6, 33);
            this.chkAutoDegradation.Name = "chkAutoDegradation";
            this.chkAutoDegradation.Size = new System.Drawing.Size(242, 17);
            this.chkAutoDegradation.TabIndex = 0;
            this.chkAutoDegradation.Text = "Automatically Generate Degradation Reaction";
            this.chkAutoDegradation.UseVisualStyleBackColor = true;
            // 
            // panel1
            // 
            this.panel1.Controls.Add(this.cmdOk);
            this.panel1.Controls.Add(this.cmdCancel);
            this.panel1.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel1.Location = new System.Drawing.Point(3, 395);
            this.panel1.Name = "panel1";
            this.panel1.Size = new System.Drawing.Size(363, 34);
            this.panel1.TabIndex = 1;
            // 
            // cmdOk
            // 
            this.cmdOk.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
            this.cmdOk.Location = new System.Drawing.Point(195, 4);
            this.cmdOk.Name = "cmdOk";
            this.cmdOk.Size = new System.Drawing.Size(75, 23);
            this.cmdOk.TabIndex = 2;
            this.cmdOk.Text = "&OK";
            this.cmdOk.UseVisualStyleBackColor = true;
            this.cmdOk.Click += new System.EventHandler(this.cmdOk_Click);
            // 
            // cmdCancel
            // 
            this.cmdCancel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
            this.cmdCancel.DialogResult = System.Windows.Forms.DialogResult.Cancel;
            this.cmdCancel.Location = new System.Drawing.Point(276, 4);
            this.cmdCancel.Name = "cmdCancel";
            this.cmdCancel.Size = new System.Drawing.Size(75, 23);
            this.cmdCancel.TabIndex = 1;
            this.cmdCancel.Text = "Cancel";
            this.cmdCancel.UseVisualStyleBackColor = true;
            this.cmdCancel.Click += new System.EventHandler(this.cmdCancel_Click);
            // 
            // tabPlugins
            // 
            this.tabPlugins.Controls.Add(this.tabControl1);
            this.tabPlugins.Location = new System.Drawing.Point(4, 22);
            this.tabPlugins.Name = "tabPlugins";
            this.tabPlugins.Padding = new System.Windows.Forms.Padding(3);
            this.tabPlugins.Size = new System.Drawing.Size(355, 360);
            this.tabPlugins.TabIndex = 1;
            this.tabPlugins.Text = "Plugin Settings";
            this.tabPlugins.UseVisualStyleBackColor = true;
            // 
            // tabControl1
            // 
            this.tabControl1.Controls.Add(this.tabPalette);
            this.tabControl1.Controls.Add(this.tabPage2);
            this.tabControl1.Controls.Add(this.tabContext);
            this.tabControl1.Dock = System.Windows.Forms.DockStyle.Fill;
            this.tabControl1.Location = new System.Drawing.Point(3, 3);
            this.tabControl1.Name = "tabControl1";
            this.tabControl1.SelectedIndex = 0;
            this.tabControl1.Size = new System.Drawing.Size(349, 354);
            this.tabControl1.TabIndex = 0;
            // 
            // tabPalette
            // 
            this.tabPalette.Controls.Add(this.tableLayoutPanel2);
            this.tabPalette.Location = new System.Drawing.Point(4, 22);
            this.tabPalette.Name = "tabPalette";
            this.tabPalette.Padding = new System.Windows.Forms.Padding(3);
            this.tabPalette.Size = new System.Drawing.Size(341, 328);
            this.tabPalette.TabIndex = 0;
            this.tabPalette.Text = "Palette";
            this.tabPalette.ToolTipText = "Choose Items Available from the Tool Palette";
            this.tabPalette.UseVisualStyleBackColor = true;
            // 
            // tabPage2
            // 
            this.tabPage2.Controls.Add(this.tableLayoutPanel3);
            this.tabPage2.Location = new System.Drawing.Point(4, 22);
            this.tabPage2.Name = "tabPage2";
            this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
            this.tabPage2.Size = new System.Drawing.Size(341, 328);
            this.tabPage2.TabIndex = 1;
            this.tabPage2.Text = "Plugins";
            this.tabPage2.ToolTipText = "Choose tools available in the Plugin Menu and Top Tool strip";
            this.tabPage2.UseVisualStyleBackColor = true;
            // 
            // tabContext
            // 
            this.tabContext.Controls.Add(this.tableLayoutPanel4);
            this.tabContext.Location = new System.Drawing.Point(4, 22);
            this.tabContext.Name = "tabContext";
            this.tabContext.Padding = new System.Windows.Forms.Padding(3);
            this.tabContext.Size = new System.Drawing.Size(341, 328);
            this.tabContext.TabIndex = 2;
            this.tabContext.Text = "Context Menu";
            this.tabContext.ToolTipText = "Choose Plugins Available in the Context Menu";
            this.tabContext.UseVisualStyleBackColor = true;
            // 
            // tableLayoutPanel2
            // 
            this.tableLayoutPanel2.ColumnCount = 1;
            this.tableLayoutPanel2.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Percent, 100F));
            this.tableLayoutPanel2.Controls.Add(this.chkLstPalette, 0, 0);
            this.tableLayoutPanel2.Controls.Add(this.panel2, 0, 1);
            this.tableLayoutPanel2.Dock = System.Windows.Forms.DockStyle.Fill;
            this.tableLayoutPanel2.Location = new System.Drawing.Point(3, 3);
            this.tableLayoutPanel2.Name = "tableLayoutPanel2";
            this.tableLayoutPanel2.RowCount = 2;
            this.tableLayoutPanel2.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Percent, 100F));
            this.tableLayoutPanel2.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Absolute, 40F));
            this.tableLayoutPanel2.Size = new System.Drawing.Size(335, 322);
            this.tableLayoutPanel2.TabIndex = 0;
            // 
            // chkLstPalette
            // 
            this.chkLstPalette.CheckOnClick = true;
            this.chkLstPalette.Dock = System.Windows.Forms.DockStyle.Fill;
            this.chkLstPalette.FormattingEnabled = true;
            this.chkLstPalette.Location = new System.Drawing.Point(3, 3);
            this.chkLstPalette.Name = "chkLstPalette";
            this.chkLstPalette.ScrollAlwaysVisible = true;
            this.chkLstPalette.Size = new System.Drawing.Size(329, 274);
            this.chkLstPalette.TabIndex = 0;
            // 
            // panel2
            // 
            this.panel2.Controls.Add(this.cmdPaletteNone);
            this.panel2.Controls.Add(this.cmdPaletteAll);
            this.panel2.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel2.Location = new System.Drawing.Point(3, 285);
            this.panel2.Name = "panel2";
            this.panel2.Size = new System.Drawing.Size(329, 34);
            this.panel2.TabIndex = 1;
            // 
            // cmdPaletteAll
            // 
            this.cmdPaletteAll.Location = new System.Drawing.Point(3, 3);
            this.cmdPaletteAll.Name = "cmdPaletteAll";
            this.cmdPaletteAll.Size = new System.Drawing.Size(75, 23);
            this.cmdPaletteAll.TabIndex = 0;
            this.cmdPaletteAll.Text = "All";
            this.cmdPaletteAll.UseVisualStyleBackColor = true;
            this.cmdPaletteAll.Click += new System.EventHandler(this.cmdPaletteAll_Click);
            // 
            // cmdPaletteNone
            // 
            this.cmdPaletteNone.Location = new System.Drawing.Point(84, 3);
            this.cmdPaletteNone.Name = "cmdPaletteNone";
            this.cmdPaletteNone.Size = new System.Drawing.Size(75, 23);
            this.cmdPaletteNone.TabIndex = 1;
            this.cmdPaletteNone.Text = "None";
            this.cmdPaletteNone.UseVisualStyleBackColor = true;
            this.cmdPaletteNone.Click += new System.EventHandler(this.cmdPaletteNone_Click);
            // 
            // tableLayoutPanel3
            // 
            this.tableLayoutPanel3.ColumnCount = 1;
            this.tableLayoutPanel3.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Percent, 100F));
            this.tableLayoutPanel3.Controls.Add(this.chkLstPlugins, 0, 0);
            this.tableLayoutPanel3.Controls.Add(this.panel3, 0, 1);
            this.tableLayoutPanel3.Dock = System.Windows.Forms.DockStyle.Fill;
            this.tableLayoutPanel3.Location = new System.Drawing.Point(3, 3);
            this.tableLayoutPanel3.Name = "tableLayoutPanel3";
            this.tableLayoutPanel3.RowCount = 2;
            this.tableLayoutPanel3.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Percent, 100F));
            this.tableLayoutPanel3.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Absolute, 40F));
            this.tableLayoutPanel3.Size = new System.Drawing.Size(335, 322);
            this.tableLayoutPanel3.TabIndex = 1;
            // 
            // chkLstPlugins
            // 
            this.chkLstPlugins.CheckOnClick = true;
            this.chkLstPlugins.Dock = System.Windows.Forms.DockStyle.Fill;
            this.chkLstPlugins.FormattingEnabled = true;
            this.chkLstPlugins.Location = new System.Drawing.Point(3, 3);
            this.chkLstPlugins.Name = "chkLstPlugins";
            this.chkLstPlugins.ScrollAlwaysVisible = true;
            this.chkLstPlugins.Size = new System.Drawing.Size(329, 274);
            this.chkLstPlugins.TabIndex = 0;
            // 
            // panel3
            // 
            this.panel3.Controls.Add(this.cmdPluginsNone);
            this.panel3.Controls.Add(this.cmdPluginsAll);
            this.panel3.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel3.Location = new System.Drawing.Point(3, 285);
            this.panel3.Name = "panel3";
            this.panel3.Size = new System.Drawing.Size(329, 34);
            this.panel3.TabIndex = 1;
            // 
            // cmdPluginsNone
            // 
            this.cmdPluginsNone.Location = new System.Drawing.Point(84, 3);
            this.cmdPluginsNone.Name = "cmdPluginsNone";
            this.cmdPluginsNone.Size = new System.Drawing.Size(75, 23);
            this.cmdPluginsNone.TabIndex = 1;
            this.cmdPluginsNone.Text = "None";
            this.cmdPluginsNone.UseVisualStyleBackColor = true;
            this.cmdPluginsNone.Click += new System.EventHandler(this.cmdPluginsNone_Click);
            // 
            // cmdPluginsAll
            // 
            this.cmdPluginsAll.Location = new System.Drawing.Point(3, 3);
            this.cmdPluginsAll.Name = "cmdPluginsAll";
            this.cmdPluginsAll.Size = new System.Drawing.Size(75, 23);
            this.cmdPluginsAll.TabIndex = 0;
            this.cmdPluginsAll.Text = "All";
            this.cmdPluginsAll.UseVisualStyleBackColor = true;
            this.cmdPluginsAll.Click += new System.EventHandler(this.cmdPluginsAll_Click);
            // 
            // tableLayoutPanel4
            // 
            this.tableLayoutPanel4.ColumnCount = 1;
            this.tableLayoutPanel4.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Percent, 100F));
            this.tableLayoutPanel4.Controls.Add(this.chkLstContextMenu, 0, 0);
            this.tableLayoutPanel4.Controls.Add(this.panel4, 0, 1);
            this.tableLayoutPanel4.Dock = System.Windows.Forms.DockStyle.Fill;
            this.tableLayoutPanel4.Location = new System.Drawing.Point(3, 3);
            this.tableLayoutPanel4.Name = "tableLayoutPanel4";
            this.tableLayoutPanel4.RowCount = 2;
            this.tableLayoutPanel4.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Percent, 100F));
            this.tableLayoutPanel4.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Absolute, 40F));
            this.tableLayoutPanel4.Size = new System.Drawing.Size(335, 322);
            this.tableLayoutPanel4.TabIndex = 1;
            // 
            // chkLstContextMenu
            // 
            this.chkLstContextMenu.CheckOnClick = true;
            this.chkLstContextMenu.Dock = System.Windows.Forms.DockStyle.Fill;
            this.chkLstContextMenu.FormattingEnabled = true;
            this.chkLstContextMenu.Location = new System.Drawing.Point(3, 3);
            this.chkLstContextMenu.Name = "chkLstContextMenu";
            this.chkLstContextMenu.ScrollAlwaysVisible = true;
            this.chkLstContextMenu.Size = new System.Drawing.Size(329, 274);
            this.chkLstContextMenu.TabIndex = 0;
            // 
            // panel4
            // 
            this.panel4.Controls.Add(this.cmdContextNone);
            this.panel4.Controls.Add(this.cmdContextAll);
            this.panel4.Dock = System.Windows.Forms.DockStyle.Fill;
            this.panel4.Location = new System.Drawing.Point(3, 285);
            this.panel4.Name = "panel4";
            this.panel4.Size = new System.Drawing.Size(329, 34);
            this.panel4.TabIndex = 1;
            // 
            // cmdContextNone
            // 
            this.cmdContextNone.Location = new System.Drawing.Point(84, 3);
            this.cmdContextNone.Name = "cmdContextNone";
            this.cmdContextNone.Size = new System.Drawing.Size(75, 23);
            this.cmdContextNone.TabIndex = 1;
            this.cmdContextNone.Text = "None";
            this.cmdContextNone.UseVisualStyleBackColor = true;
            this.cmdContextNone.Click += new System.EventHandler(this.cmdContextNone_Click);
            // 
            // cmdContextAll
            // 
            this.cmdContextAll.Location = new System.Drawing.Point(3, 3);
            this.cmdContextAll.Name = "cmdContextAll";
            this.cmdContextAll.Size = new System.Drawing.Size(75, 23);
            this.cmdContextAll.TabIndex = 0;
            this.cmdContextAll.Text = "All";
            this.cmdContextAll.UseVisualStyleBackColor = true;
            this.cmdContextAll.Click += new System.EventHandler(this.cmdContextAll_Click);
            // 
            // Preferences
            // 
            this.AcceptButton = this.cmdOk;
            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
            this.CancelButton = this.cmdCancel;
            this.ClientSize = new System.Drawing.Size(379, 442);
            this.Controls.Add(this.tableLayoutPanel1);
            this.DoubleBuffered = true;
            this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
            this.Name = "Preferences";
            this.Padding = new System.Windows.Forms.Padding(5);
            this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
            this.Text = "Preferences";
            this.Load += new System.EventHandler(this.Preferences_Load);
            this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.Preferences_FormClosing);
            this.tableLayoutPanel1.ResumeLayout(false);
            this.tabPreferences.ResumeLayout(false);
            this.tabGeneral.ResumeLayout(false);
            this.groupBox4.ResumeLayout(false);
            this.groupBox4.PerformLayout();
            ((System.ComponentModel.ISupportInitialize)(this.maxSimulationNum)).EndInit();
            this.groupBox3.ResumeLayout(false);
            this.groupBox3.PerformLayout();
            this.groupBox2.ResumeLayout(false);
            this.groupBox2.PerformLayout();
            ((System.ComponentModel.ISupportInitialize)(this.maxHistoryNum)).EndInit();
            this.groupBox1.ResumeLayout(false);
            this.groupBox1.PerformLayout();
            this.panel1.ResumeLayout(false);
            this.tabPlugins.ResumeLayout(false);
            this.tabControl1.ResumeLayout(false);
            this.tabPalette.ResumeLayout(false);
            this.tabPage2.ResumeLayout(false);
            this.tabContext.ResumeLayout(false);
            this.tableLayoutPanel2.ResumeLayout(false);
            this.panel2.ResumeLayout(false);
            this.tableLayoutPanel3.ResumeLayout(false);
            this.panel3.ResumeLayout(false);
            this.tableLayoutPanel4.ResumeLayout(false);
            this.panel4.ResumeLayout(false);
            this.ResumeLayout(false);

        }

        #endregion

        private System.Windows.Forms.TableLayoutPanel tableLayoutPanel1;
        private System.Windows.Forms.TabControl tabPreferences;
        private System.Windows.Forms.Panel panel1;
        private System.Windows.Forms.Button cmdOk;
        private System.Windows.Forms.Button cmdCancel;
        private System.Windows.Forms.TabPage tabGeneral;
        private System.Windows.Forms.GroupBox groupBox1;
        private System.Windows.Forms.ToolTip toolTip1;
        private System.Windows.Forms.CheckBox chkAutoDegradation;
        private System.Windows.Forms.CheckBox chkAutoGeneProduct;
        private System.Windows.Forms.GroupBox groupBox2;
        private System.Windows.Forms.Label label1;
        private System.Windows.Forms.NumericUpDown maxHistoryNum;
        private System.Windows.Forms.GroupBox groupBox3;
        private System.Windows.Forms.CheckBox chkReactionLabels;
        private System.Windows.Forms.CheckBox chkToolTips;
        private System.Windows.Forms.GroupBox groupBox4;
        private System.Windows.Forms.Label label2;
        private System.Windows.Forms.NumericUpDown maxSimulationNum;
        private System.Windows.Forms.TabPage tabPlugins;
        private System.Windows.Forms.TabControl tabControl1;
        private System.Windows.Forms.TabPage tabPalette;
        private System.Windows.Forms.TabPage tabPage2;
        private System.Windows.Forms.TabPage tabContext;
        private System.Windows.Forms.TableLayoutPanel tableLayoutPanel2;
        private System.Windows.Forms.CheckedListBox chkLstPalette;
        private System.Windows.Forms.Panel panel2;
        private System.Windows.Forms.Button cmdPaletteNone;
        private System.Windows.Forms.Button cmdPaletteAll;
        private System.Windows.Forms.TableLayoutPanel tableLayoutPanel3;
        private System.Windows.Forms.CheckedListBox chkLstPlugins;
        private System.Windows.Forms.Panel panel3;
        private System.Windows.Forms.Button cmdPluginsNone;
        private System.Windows.Forms.Button cmdPluginsAll;
        private System.Windows.Forms.TableLayoutPanel tableLayoutPanel4;
        private System.Windows.Forms.CheckedListBox chkLstContextMenu;
        private System.Windows.Forms.Panel panel4;
        private System.Windows.Forms.Button cmdContextNone;
        private System.Windows.Forms.Button cmdContextAll;
    }
}